- 双语例句 更多例句
1、
2、
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
互联网摘选
- 相关词组
- trace to找出…的所在， 追踪到…;
- trace back回忆;溯;
- trace constituent痕量构分;
- Without a Trace[电影]神不知鬼不觉;
- trace contamination痕量污染;
- blurred trace模糊痕迹;
- trace mineral微量无机物;
- No trace线索不明，无法查找;
- cotyledon trace子叶迹;
- trace elementsn.痕量元素，微量元素( trace element的名词复数 );
- anodal trace离节迹;
- memory trace记忆痕迹;
- trace elementn.痕量元素，微量元素;
- trace back to追溯到…;
- trace source跟踪源
- barograph trace气压自配曲线;
- trace function迹函数;
- wavy trace波浪形迹线;
- return trace回描，归迹，回程;回迹;
- trace out勾画出轮廓;提出;寻踪觅迹;
- 今日热词
- 热门搜索
- axe n.斧子;<俚>解雇;vt.用斧砍;削除，解雇;大量削减（经费），精简（机构）;
- compare v.比较;把…比作;相比;与…类似;n.举世无双;
- lock v.锁上;把…关起来;陷入;被紧紧抓住;加锁;n.锁;制动器;锁定;前轮转向角度;水闸;一绺（头发）;
- risk n.风险，危险;隐患;v.冒风险;冒险做;
- sand n.沙;沙地；沙洲；沙滩；沙子;沙色;vt.撒沙于;以沙掩盖；用砂纸等擦平或磨光某物；使撒沙似地布满；给…掺沙子;
- edge n. 边;优势;（悬崖、峭壁的）边缘，端;锋利，尖锐;vt. 在…上加边界;使渐进;给（刀刃）磨边，使锋利;修整;
- handwriting n.书法，手书;笔迹，字迹;v.亲手写(handwrite的ing形式);
- martial law n.戒严法，戒严令;
- witchery n.巫术，魅力;
- October n. 十月;
- memorize vt.记住，熟记;[计算机科学] 存储，记忆;
- OC abbr.有机碳;Officer Commanding 指挥官; Original Character原创角色
